package graph_viewer.drawer;

import java.awt.*;

/**
 * the super interface of Drawer.
 * now no public method defined.
 */

public interface Drawer{	
														
	//String DEFAULT_GRAPH_TYPE	 //= 	Structure_Values.TREE;
	//							=Structure_Values.CLUSTERED_GRAPH;

	Color
		CUSTOM_GREEN	= new Color( 98, 205, 147 ),
		CUSTOM_YELLOW= new Color( 191, 217, 89 ),
		CUSTOM_GRAY	= new Color( 233, 233, 233 ),
		CUSTOM_DARK		= new Color( 91, 163, 215 );
	
	Color
		FOCUS_COLOR			= CUSTOM_GRAY,
		LEAF_CLUSTER_COLOR	= CUSTOM_GREEN,
		//CLUSTER_COLOR			= CUSTOM_DARK,
		LEAF_NODE_COLOR		= CUSTOM_YELLOW,
		PSUEDO_NODE_COLOR	= CUSTOM_GREEN,		
		NODE_BOXING_COLOR	= Color.black,
			
		EDGE_COLOR				= Color.black,
		INTERNAL_EDGE_COLOR	= Color.black,
		EXTERNAL_EDGE_COLOR	= new Color(180, 180, 180),
		HIGHLIGHTED_EDGE_COLOR	= Color.black,
		NORMAL_EDGE_COLOR			= new Color(180, 180, 180);

	String	
		NORMAL_VIEW			= "normal",
		DISTORTED_VIEW		= "distorted";
	
	String 
		FONT_NAME	= "New Times";

	int
		FONT_STYLE	= Font.PLAIN;
		
	int 
		FONT_SIZE	= 12;

	Font FONT	= new Font( FONT_NAME, FONT_STYLE, FONT_SIZE );
	
}//:~
